-
1 исчисление предикатов
-
2 исчисление предикатов
Русско-английский военно-политический словарь > исчисление предикатов
-
3 исчисление предикатов
Русско-английский словарь по информационным технологиям > исчисление предикатов
-
4 применяемость предиката
Русско-английский большой базовый словарь > применяемость предиката
-
5 язык основанный на логике предикатов
Русско-английский большой базовый словарь > язык основанный на логике предикатов
-
6 логика предикатов
-
7 предикат
-
8 логика предикатов
Русско-английский новый политехнический словарь > логика предикатов
-
9 векторное исчисление
-
10 исчисление
-
11 исчисление предикатов
1. functional calculus2. predicate calculus3. predicative calculusРусско-английский большой базовый словарь > исчисление предикатов
-
12 дифференциальное исчисление
1. calculus2. differential calculusРусско-английский большой базовый словарь > дифференциальное исчисление
-
13 индескное исчисление
Русско-английский большой базовый словарь > индескное исчисление
-
14 функциональное исчисление
Русско-английский большой базовый словарь > функциональное исчисление
-
15 функциональное исчисление
Русско-английский научный словарь > функциональное исчисление
-
16 интегральное исчисление
Русско-английский новый политехнический словарь > интегральное исчисление
-
17 операционное исчисление
Русско-английский военно-политический словарь > операционное исчисление
-
18 интегральное исчисление
Русско-английский словарь по информационным технологиям > интегральное исчисление
-
19 операционное исчисление
Русско-английский словарь по информационным технологиям > операционное исчисление
-
20 государственный аппарат
Русско-английский большой базовый словарь > государственный аппарат
- 1
- 2
См. также в других словарях:
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Alan Turing — Turing redirects here. For other uses, see Turing (disambiguation). Alan Turing Turing at the time of his election to Fellowship of the Royal Society … Wikipedia
Edsger W. Dijkstra — Edsger Wybe Dijkstra Born May 11, 1930(1930 05 11) Rotterdam, Netherl … Wikipedia
Ludwig Wittgenstein — Wittgenstein redirects here. For other uses, see Wittgenstein (disambiguation). Ludwig Wittgenstein Photographed by Ben Richards Swansea, Wales, 1947 Born 26 April 1889 … Wikipedia
Propaganda — This article is about the form of communication. For other uses, see Propaganda (disambiguation). French Military Propaganda postcard showing a caricature of Kaiser Wilhelm II biting the world (c. 1915) … Wikipedia
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
I.A. — Intelligence artificielle Pour les articles homonymes, voir A.I. Intelligence artificielle (film),IA. Le robot humanoïde ASIMO … Wikipédia en Français
Intelligence Artificielle — Pour les articles homonymes, voir A.I. Intelligence artificielle (film),IA. Le robot humanoïde ASIMO … Wikipédia en Français
Intelligence artificielle — Pour les articles homonymes, voir A.I. Intelligence artificielle (film), IA. Le robot humanoïde ASIMO L intelligence artificielle est la … Wikipédia en Français
Ronald Fagin — Infobox Scientist name = Ronald Fagin birth place = Oklahoma, OK, USA residence = Los Gatos, California nationality = American field = Logic in Computer Science, Database theory, Finite model theory, Reasoning about knowledge work institution =… … Wikipedia
Ontology engineering — Example of a constructed MBED Top Level Ontology based on the Nominal set of views.[1] Ontology engineering in computer science and information science is a new field, which studies the methods and methodologies for building ontologies: formal… … Wikipedia